#include<stdio.h>
#include<string.h>
void string_process(char t[]){ 
	int i=3,index=strlen(t);
	if(index-1==i)
		return ;
	while(index>0){
		t[i]=t[index-1];
		i--;
		index--;
	}
	while(i>=0){
		t[i]='0';
		i--;
	}
}
int string_diff(char t[]){
	int i,j,flag;
	char temp[5]={'\0'};
	for(i=0;i<4;i++){
		flag=1;
		for(j=0;j<strlen(temp);j++){
			if(t[i]==temp[j])
				flag=0;
		}
		if(flag)
			temp[j]=t[i];
	}
	return strlen(temp);
}
void add_char(char t[]){
	int len,i;
	len=strlen(t);
	t[len-1]++;
	for(i=len-1;i>=0;i--){
		if(t[i]>'9'){
			t[i]='0';
			t[i-1]++;
		}
	}
}
int main(void){
	int n,diff=0;
	char birth[5]={'\0'};
	scanf("%s %d",birth,&n);
	string_process(birth);
	while(1){
		if(string_diff(birth)==n){
			printf("%d %s",diff,birth);
			break;
		}
		add_char(birth);
		diff++;
	}
}